(sys_select): Check timer once even if input is pending.

diff --git a/src/msdos.c b/src/msdos.c
index e3426b05b381192db0b277e07e781da87c80dc62..a05149eea333299fefae99e5e8b9b3881a92c33f 100644 (file)
--- a/src/msdos.c
+++ b/src/msdos.c
@@ -2434,8 +2434,9 @@ sys_select (nfds, rfds, wfds, efds, timeout)
      just read it and wait -- that's more efficient.  */
   if (!timeout)
     {
-      while (! detect_input_pending ())
-       check_timer (&t);
+      do
+       check_timer (&t);  /* check timer even if some input is pending */
+      while (!detect_input_pending ());
     }
   else
     {